Skip to main content
share Share
favorite Favorite

8
RESULTS

COLLECTION
TOPIC atoz
partial order 8
partial 4
operator 3
theorem 3
data 2
abd 1
action 1
action summary 1
action tree 1
action trees 1
add list 1
algebra 1
algorithm 1
allows programmers 1
assignment 1
assignments 1
assume 1
atomic 1
atomic object 1
atomicity 1
augmented action 1
causal 1
causal link 1
causal links 1
channel 1
channel graph 1
channel graphs 1
characteristic function 1
class 1
classes 1
comparator 1
comparator network 1
complexity 1
complexity classes 1
concurrency 1
concurrency control 1
concurrent java 1
continuous functions 1
correctness 1
countable 1
countable partial 1
data flow 1
data races 1
denotational semantics 1
dense chains 1
dfpl 1
dfpl program 1
dfpl programs 1
distributed 1
distributed algebra 1
effective operator 1
embedding 1
embedding theorem 1
forward simulation 1
functions 1
graph 1
ground procedure 1
initially empty 1
injective 1
injective assignments 1
input 1
input streams 1
java 1
lemma 1
local mapping 1
lock 1
lock level 1
lock levels 1
locking algorithm 1
locks 1
mapping 1
min 1
modal truth 1
multiplex 1
multiplex set 1
network 1
nonlinear 1
nonlinear plan 1
object 1
operation 1
operations 1
operator embedding 1
operators 1
ordered 1
output 1
parallel 1
parallel channel 1
partial orders 1
plan 1
planning 1
possibilities mapping 1
precondition 1
prerequisite 1
primitive operators 1
procedure 1
program 1
programming language 1
read operation 1
read phase 1
recursive 1
recursive functions 1
regular series 1
response event 1
rspcg 1
safe concurrent 1
security classification 1
semantics 1
series parallel 1
serviced 1
set 1
simulation 1
sorting 1
sorting network 1
sorting networks 1
standard form 1
status 1
step 1
step names 1
steps 1
stream 1
streams 1
strips 1
strips planning 1
submajorized 1
symbol table 1
system 1
system technical 1
tag 1
takagi 1
takagi graph 1
thread 1
thread holds 1
total effective 1
total order 1
type 1
type checker 1
type system 1
upper bound 1
valued 1
valued assignments 1
weakly 1
weakly submajorized 1
write operation 1
write operations 1
write phase 1
SHOW DETAILS
up-solid down-solid